TABLE OF RIGHT DIAGONALS GENERAL METHOD

GENERATION OF RIGHT DIAGONALS FOR MAGIC SQUARE OF SQUARES (Part IE)

Picture of a square

Square of Squares Tables

Andrew Bremner's article on squares of squares included the 3x3 square:

Bremner's square
373228925652
3607214252232
20525272222121

The numbers in the right diagonal as the tuple (2052,4252,5652) appear to have been obtained from elsewhere. But I will show that this sequence is part of a larger set of tuples having the same property, i.e. the first number in the tuple when added to a difference (Δ) gives the second square in the tuple and when this same (Δ) is added to the second square produces a third square. All these tuple sequences can be used as entries into the right diagonal of a magic square.

We will show a general method for generating the squares for a right diagonal of a magic square. Beginning with the the tuple (1,b1, c1) we can generate the tuple (a, b, c) which when squared gives the diagonal numbers. Initially either b1 or c1 will be equal to ± k where k is any natural number 1,2,3,4.... Again the end result is that a12 + b12 + c123b120 = S is converted to a2 + b2 + c23b2 = 0 which is a necessary condition for the square to be magic.

To summarize the tuples of Table II below will be used as entries into a right diagonal of a magic square. Knowing the difference (b2a2) or (c2b2) will give us a value Δ which can be used to produce other entries into the magic square. To date only one magic square containing 7 entries has been found. Most other squares will contain 6 entries.

As to the reason for the picture of a square, the entries to the square occur as three tuples,viz, (a,b,c), (l,m,n) and (x,y,z) showing their connectivity. In addition, six or more of these entries are present as their squares.

Generation of Tables where c1 = -79

  1. The object of this exercise is to generate a Table I with a set of tuples that obey the rule: a12 + b12 + c123b120 and convert these tuples into a second set of tuples (Table II) that obey the rule: a2 + b2 + c23b2 = 0.
  2. In addition, we need to know two numbers e and g where g = 2e which when added to the b1 and c1 numbers of Table I, produce the next line of numbers (n + 1) in the next row of Table I. The number a1 will always be 1.
  3. Two other numbers f and d are calculated using the equation
    f = [2e2n2 + (4c1 − 4b1) en +(1 − 2b12 + c12)] / {2(2b1 − c1 − 1)}
    where n is the line number of the tables. f can also be generated directly from Table II from S/d. However, the value of d is equal to the denominator of the general equation above.
  4. Finally Δs are calculated by taking the difference in Table II between (b2a2) or (c2b2), and the results placed under the Δ column. Both differences must be the same.
  5. As an example we begin with the tuple (1,1,−79), where a1 = 1, b1 = 1 and c1 = −79 and use the equation to generate f.
    f = [2e2n2 + (−316 −4)en + 6240]/2×80 = [2e2n2 − 320en + 6240]/160
    Setting e = 20 and g = 40 affords f = 5n2 −40n + 39
    Substituting for f in (b) gives
    a = (5n2 −40n + 40 )
    b = (5n2 −20n + 40)
    c = (5n2 − 40)
  6. Substituting the appropriate n into the equations for a, b, and c produces Table II below. Using a computer program and the requisite calculations produced the tables below. As can be seen taking the value of f from the middle table and adding to a1, b1, c1, produced a, b, c, respectively of Table II.
  
n
0
1
2
3
4
5
6
7
8
9
10
11
12
Table I
a1 b1 c1
11-79
121-39
1411
16141
18181
1101121
1121161
1141201
1161241
1181281
1201321
1221361
1241401
  
f = S/d
39
4
-21
-36
-41
-36
-21
4
39
84
139
204
279
Table II
a b c
4040-40
525-35
-2020-20
-35255
-404040
-356585
-20100140
5145205
40200280
85265365
140340460
205425565
280520680
  
Δ
0
600
0
-600
0
3000
9600
21000
38400
63000
96000
138600
192000


  1. The magic square A was found by Bremner and has 7 square terms with the magic sum (Sm) 541875 and n = 11. Two other examples are B and C both having the same right diagonal tuple (3340, 3940, 4460) as their squares. The magic sum, Sm, for these cases is 46570800 and the n = 30.
Magic square A
373228925652
3607214252232
20525272222121
  
Magic square B
218022192680044602
30662800394026202
334023020226294800
  
Magic square C
233022125030044602
299863003940210302
334023130225618300

This concludes Part IE. To go back to Part ID. To continue to Part IIA which treats tuples of the type (1,1,3).
Go back to homepage.


Copyright © 2012 by Eddie N Gutierrez. E-Mail: edguti144@outlook.com